218 research outputs found

    Probabilistic abstract interpretation: From trace semantics to DTMC’s and linear regression

    Get PDF
    In order to perform probabilistic program analysis we need to consider probabilistic languages or languages with a probabilistic semantics, as well as a corresponding framework for the analysis which is able to accommodate probabilistic properties and properties of probabilistic computations. To this purpose we investigate the relationship between three different types of probabilistic semantics for a core imperative language, namely Kozen’s Fixpoint Semantics, our Linear Operator Semantics and probabilistic versions of Maximal Trace Semantics. We also discuss the relationship between Probabilistic Abstract Interpretation (PAI) and statistical or linear regression analysis. While classical Abstract Interpretation, based on Galois connection, allows only for worst-case analyses, the use of the Moore-Penrose pseudo inverse in PAI opens the possibility of exploiting statistical and noisy observations in order to analyse and identify various system properties

    Age-Related Attenuation of Dominant Hand Superiority

    Get PDF
    The decline of motor performance of the human hand-arm system with age is well-documented. While dominant hand performance is superior to that of the non-dominant hand in young individuals, little is known of possible age-related changes in hand dominance. We investigated age-related alterations of hand dominance in 20 to 90 year old subjects. All subjects were unambiguously right-handed according to the Edinburgh Handedness Inventory. In Experiment 1, motor performance for aiming, postural tremor, precision of arm-hand movement, speed of arm-hand movement, and wrist-finger speed tasks were tested. In Experiment 2, accelerometer-sensors were used to obtain objective records of hand use in everyday activities

    The Allometry of Host-Pathogen Interactions

    Get PDF
    Understanding the mechanisms that control rates of disease progression in humans and other species is an important area of research relevant to epidemiology and to translating studies in small laboratory animals to humans. Body size and metabolic rate influence a great number of biological rates and times. We hypothesize that body size and metabolic rate affect rates of pathogenesis, specifically the times between infection and first symptoms or death.We conducted a literature search to find estimates of the time from infection to first symptoms (t(S)) and to death (t(D)) for five pathogens infecting a variety of bird and mammal hosts. A broad sampling of diseases (1 bacterial, 1 prion, 3 viruses) indicates that pathogenesis is controlled by the scaling of host metabolism. We find that the time for symptoms to appear is a constant fraction of time to death in all but one disease. Our findings also predict that many population-level attributes of disease dynamics are likely to be expressed as dimensionless quantities that are independent of host body size.Our results show that much variability in host pathogenesis can be described by simple power functions consistent with the scaling of host metabolic rate. Assessing how disease progression is controlled by geometric relationships will be important for future research. To our knowledge this is the first study to report the allometric scaling of host/pathogen interactions

    Estimating Grizzly and Black Bear Population Abundance and Trend in Banff National Park Using Noninvasive Genetic Sampling

    Get PDF
    We evaluated the potential of two noninvasive genetic sampling methods, hair traps and bear rub surveys, to estimate population abundance and trend of grizzly (Ursus arctos) and black bear (U. americanus) populations in Banff National Park, Alberta, Canada. Using Huggins closed population mark-recapture models, we obtained the first precise abundance estimates for grizzly bears ( = 73.5, 95% CI = 64–94 in 2006;  = 50.4, 95% CI = 49–59 in 2008) and black bears ( = 62.6, 95% CI = 51–89 in 2006;  = 81.8, 95% CI = 72–102 in 2008) in the Bow Valley. Hair traps had high detection rates for female grizzlies, and male and female black bears, but extremely low detection rates for male grizzlies. Conversely, bear rubs had high detection rates for male and female grizzlies, but low rates for black bears. We estimated realized population growth rates, lambda, for grizzly bear males ( = 0.93, 95% CI = 0.74–1.17) and females ( = 0.90, 95% CI = 0.67–1.20) using Pradel open population models with three years of bear rub data. Lambda estimates are supported by abundance estimates from combined hair trap/bear rub closed population models and are consistent with a system that is likely driven by high levels of human-caused mortality. Our results suggest that bear rub surveys would provide an efficient and powerful means to inventory and monitor grizzly bear populations in the Central Canadian Rocky Mountains

    Human papillomavirus 16 is an aetiological factor of scrotal cancer

    Get PDF
    Background: Squamous cell scrotal carcinoma (SCSC) is an infrequent skin cancer associated historically with occupational carcinogens. Human papillomavirus (HPV) DNA has been associated with SCSC but there is no definitive proof of its oncogenic role. Methods: Human papillomavirus-DNA and -E6*I mRNA were analysed in six invasive histologically typed SCSC. LCM-PCR was used to localise HPV DNA to tumour cells. P16(INK4a)and p53 expression were studied by immunohistochemistry. Results: In three warty or basaloid SCSC HPV16-DNA and E6*I-mRNA were detected. LCM-PCR confirmed HPV16 was in p16(INK4a)-positive malignant cells. However, of three usual-type SCSC, all were HPV-negative and two expressed p53 protein but not p16(INK4a). Conclusions: Human papillomavirus 16 was present in tumour cells and oncogenically active in basaloid and warty SCSC, whereas usual SCSC was HPV-negative and showed immunostaining, suggesting p53 mutation. The dual pathways of oncogenesis and relation between histological type of SCSC and HPV are similar to that in penile cancers

    Effects of Phosphodiesterase 4 Inhibition on Alveolarization and Hyperoxia Toxicity in Newborn Rats

    Get PDF
    International audienceBACKGROUND: Prolonged neonatal exposure to hyperoxia is associated with high mortality, leukocyte influx in airspaces, and impaired alveolarization. Inhibitors of type 4 phosphodiesterases are potent anti-inflammatory drugs now proposed for lung disorders. The current study was undertaken to determine the effects of the prototypal phosphodiesterase-4 inhibitor rolipram on alveolar development and on hyperoxia-induced lung injury. METHODOLOGY/FINDINGS: Rat pups were placed under hyperoxia (FiO2>95%) or room air from birth, and received rolipram or its diluent daily until sacrifice. Mortality rate, weight gain and parameters of lung morphometry were recorded on day 10. Differential cell count and cytokine levels in bronchoalveolar lavage and cytokine mRNA levels in whole lung were recorded on day 6. Rolipram diminished weight gain either under air or hyperoxia. Hyperoxia induced huge mortality rate reaching 70% at day 10, which was prevented by rolipram. Leukocyte influx in bronchoalveolar lavage under hyperoxia was significantly diminished by rolipram. Hyperoxia increased transcript and protein levels of IL-6, MCP1, and osteopontin; rolipram inhibited the increase of these proteins. Alveolarization was impaired by hyperoxia and was not restored by rolipram. Under room air, rolipram-treated pups had significant decrease of Radial Alveolar Count. CONCLUSIONS: Although inhibition of phosphodiesterases 4 prevented mortality and lung inflammation induced by hyperoxia, it had no effect on alveolarization impairment, which might be accounted for by the aggressiveness of the model. The less complex structure of immature lungs of rolipram-treated pups as compared with diluent-treated pups under room air may be explained by the profound effect of PDE4 inhibition on weight gain that interfered with normal alveolarization
    corecore